RTOS kernel in portable electrocardiograph

Detecting All High-Level Dataraces in an RTOS Kernel

A high-level race occurs when an execution interleaves instructions corresponding to user-annotated critical accesses to shared memory structures. Such races are good indicators of atomicity violations. We propose a technique for detecting all high-level dataraces in a system library like the kernel API of a real-time operating system (RTOS) that relies on flag-based scheduling and synchronizat...

Linux/RK: A Portable Resource Kernel in Linux

Magnetic tape recording electrocardiograph.

R ECORDING the electrocardiogram for prolonged intervals presents difficulties from the standpoint of economy and convenience. One 200 foot roll of paper for a direct writing instrument is used in 40 minutes of continuous recording at 25 mm. per second, and reviewing this long electrocardiographic record is a cumbersome procedure. A convenient method of recording electrocardiograms and fied ele...

Portable RK: A Portable Resource Kernel for Guaranteed and Enforced Timing Behavior

Portable RK is a portable implementation of a resource kernel, a resource-centric approach to build a real-time kernel that provides explicit timely, guaranteed and enforced access by applications to system resources [13]. Portable RK is designed to work with widely available operating systems with minimal changes. This facilitates experimentation in a familiar software environment and helps th...

A scalable single-chip multi-processor architecture with on-chip RTOS kernel

Now that system-on-chip technology is emerging, single-chip multi-processors are becoming feasible. A key problem of designing such systems is the complexity of their on-chip interconnects and memory architecture. It is furthermore unclear at what level software should be integrated. An example of a single-chip multi-processor for real-time (networked) embedded systems is the multi-microprocess...